Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

upgrade rocksdb to 5.7.3 #2229

Merged
merged 3 commits into from Aug 30, 2017
Merged

upgrade rocksdb to 5.7.3 #2229

merged 3 commits into from Aug 30, 2017

Conversation

zhangjinpeng87
Copy link
Member

No description provided.

lishuai87
lishuai87 approved these changes Aug 30, 2017
View reviewed changes
Copy link
Contributor

@lishuai87 lishuai87 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

huachaohuang
huachaohuang approved these changes Aug 30, 2017
View reviewed changes
Copy link
Contributor

@huachaohuang huachaohuang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@zhangjinpeng87 zhangjinpeng87 merged commit 1994bb3 into master Aug 30, 2017
@zhangjinpeng87 zhangjinpeng87 deleted the zhangjinpeng/rocksdb-5.7.3 branch August 30, 2017 09:40
zhangjinpeng87 added a commit that referenced this pull request Aug 30, 2017
@zhangjinpeng87
upgrade rocksdb to 5.7.3 (#2229)
f3f4f41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lishuai87 lishuai87 lishuai87 approved these changes

@huachaohuang huachaohuang huachaohuang approved these changes

@BusyJay BusyJay Awaiting requested review from BusyJay

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@zhangjinpeng87 @lishuai87 @huachaohuang